1. Beyond two

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع : Many-valued logic

رده :
{
1648
},
25b3b79dd6ba38a5d290a85cf331984b

2. Compability theory, Semantics, and logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Computable functions,Data structures (computer science)

رده :
QA
9
.
59
.
F58
1986

3. First-order logic and automated theorem proving

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
,
F68
1990

4. First-order logic and automated theorem proving

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96F528
1990

5. First-order logic and automated theorem proving

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
.
F68
1996

6. First-order logic and automated theorem proving

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
A96
,
F68
1990

7. First-order modal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
199
.
M6
F5
1998

8. Fundamentals of generalized recursion theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Recursion theory

رده :
QA
9
.
6
.
F57
1981

9. Fundamentals of generalized recursion theory

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : ، Recursion theory

رده :
QA
9
.
6
.
F57
1981

10. Intuitionistic logic, model theory and forcing

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(

رده :
QA
9
.
F56